101. Fine Structure and Class forcing
Author: / S Y D. Friedman
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Forcing (Model Theory)
Classification :
QA
9
.
7
.
F75
2000


102. Fine structure and class forcing
Author: Friedman, Sy D.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Forcing )Model theory(
Classification :
QA
9
.
7
.
F75
2000


103. Finite and algorithmic model theory
Author: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Finite model theory.,Computer science--Mathematics
Classification :
QA
,
9
.
7
,.
F565
,
2011


104. Finite and algorithmic model theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Finite model theory. ;

105. Finite and algorithmic model theory
Author: / edited by Javier Esparza, Christian Michaux, Charles Steinhorn
Library: Library of College of Science University of Tehran (Tehran)
Subject: Finite model theory,Computer science -- Mathematics
Classification :
QA
9
.
7
.
F565
2011


106. Finite and algorithmic model theory
Author: edited by Javier Esparza, Christian Michaux, Charles Steinhorn
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Finite model theory,، Computer science -- Mathematics
Classification :
QA
9
.
7
.
F562


107. Finite model theory
Author: Ebbinghaus, Heinz-Dieter, 9391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Model theory
Classification :
QA
9
.
7
.
E22F5
2006


108. Finite model theory
Author: Ebbinghaus, Heinz-Dieter, 9391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Model theory
Classification :
QA
9
.
7
.
E22F5


109. Finite model theory
Author: / by Heinz-Dieter Ebbinghaus, Jorg Flum
Library: Library of Institude of Geophysics (Tehran)
Subject: Model theory,Finit groups
Classification :
QA
9
.
7
.
E2
.
F5


110. Finite model theory
Author: / Heinz-Dieter Ebbinghaus, Jeorg Flum
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Model theory.
Classification :
QA
,
9
.
7
,.
E23
,
2005


111. Finite model theory
Author:
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Model theory
Classification :
511
.
34
E15f
1999


112. Finite model theory
پدیدآورنده : Ebbinghaus, Heinz-Dieter
موضوع : ، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
113. Finite model theory
Author: Ebbinghaus, Heinz-Dieter
Library: Central Library and Documentation Center (Kerman)
Subject: ، Model theory
Classification :
QA
9
.
7
.
E23
1999


114. Finite model theory
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Model theory. ;

115. Finite model theory
Author: / Heinz-Dieter Ebbinghaus, Jorg Flum
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Model theory
Classification :
QA9
.
7
.
E23
1999


116. Finite model theory
Author: / Heinz-Dieter Ebbinghaus, Jorg Flum
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Model theory
Classification :
E-BOOK

117. Finite model theory
Author: / Heinz-Dieter Ebbinghaus, Jorg Flum
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Model theory
Classification :
QA9
.
7
.
E23
1999


118. Finite model theory and its applications
Author: Erich Gradel ... [et al.]&
Library: Library of Institute For Color Science and Technology (Tehran)
Subject: Finite model theory,Computational complexity,Constraint databases
Classification :
{
1648
},
06fdfb40a6eef9acf992e8ee6bc47b2a

119. Finite model theory and its applications
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Finite model theory. ; Computational complexity. ; Constraint databases. ;

120. Finite model theory and its applications
Author: / Erich Gr?ndel ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Model theory.
